搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Utilizing system 360/370 OS and VS job control language and utility programs 0 索取号：TP31/E8054 作者：Rindfleisch、 Daniel H.、 1940-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1979.		Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus 0 索取号：TP31/E90159 作者：NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Action diagrams : clearly structured specifications, programs, and procedures 0 索取号：TP31/E90144.2 作者：Martin、 James、 1933-、McClure、 Carma L.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.		The architecture of concurrent programs 0 索取号：TP31/E8058 作者：Brinch Hansen、 Per、 1938-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1977.
	Using & programming the IBM PCjr, including 77 ready-to-run programs 0 索取号：TP31/E9071 作者：Holtz、 Frederick.、出版社：Blue Ridge Summit, Pa. : Tab Books, 1984.		Programming logics : an introduction to verification and semantics 0 索取号：TP31/E9066 作者：Gumb、 Raymond D.、出版社：Chichester John Wiley & Son New York : Wiley, 1989.
	Microprogramming techniques with sample programs 0 索取号：TP31/E8028 作者：Evans、 Stanley J.、出版社：Reston, Va. : Reston Pub. Co., 1979.		Program derivation : the development of programs from specifications 0 索取号：TP31/E90108 作者：Dromey、 R. G.、 1946-、出版社：Sydney ; Reading, Mass. : Addison-Wesley, 1989.
	Algorithms : the construction, proof, and analysis of programs 0 索取号：TP31/E9087 作者：Berlioux、 Pierre.、Bizard、 Philippe.、出版社：Chichester [West Sussex] ; New York : J. Wiley, 1986.		Synchronization of parallel programs 0 索取号：TP31/E9058 作者：Andre、 FraņЦoise.、Herman、 Daniel.、Verjus、 J.-P.、出版社：Massachusetts Cambridge, Mass. : MIT Press, 1985.
	Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 0 索取号：TP31/E8041/3 作者：John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1977.		Mathematical computer performance and reliability : proceedings of the International Workshop, Pisa, Italy, September 26-30, 1983 0 索取号：TP302-53/E901 作者：出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Computer performance and reliability : proceedings of the Second International MCPR Workshop held in Rome, Italy, May 25-29, 1987 0 索取号：TP302-53/E904/2 作者：International MCPR Workshop (2nd : 1987 : Rome、 Italy)、Iazeolla、 Giuseppe G.、 1939-、Courtois、 Pierre Jacques、 1937-、Boxma、 O. J.、 1952-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.		IEEE International Workshop on Computer Systems Organization, March 29-31, 1983, Sheraton New Orleans Hotel, New Orleans 0 索取号：TP302-53/E905/1983 作者：IEEE International Workshop on Computer Systems Organization (1983 : New Orleans、 La.)、IEEE Computer Society.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	Digest of technical papers 0 索取号：TN402-53/E902/1983 作者：IEEE International Conference on Computer-Aided Design (1983 : Santa Clara、 Calif.)、IEEE Computer Society.、IEEE Circuits and Systems Society.、IEEE Electron Devices Society.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, 1983.		Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD 0 索取号：TP302-53/E906/1983 作者：Total Systems Reliability Symposium (1983 : National Bureau of Standards)、IEEE Computer Society.、Institute of Electrical and Electronics Engineers.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1983.

	Utilizing system 360/370 OS and VS job control language and utility programs 0 索取号：TP31/E8054 作者：Rindfleisch、 Daniel H.、 1940-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1979.		Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus 0 索取号：TP31/E90159 作者：NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Berlin ; New York : Springer-Verlag, 1984.
	Action diagrams : clearly structured specifications, programs, and procedures 0 索取号：TP31/E90144.2 作者：Martin、 James、 1933-、McClure、 Carma L.、出版社：Englewood Cliffs, N.J. : Prentice Hall, 1989.		The architecture of concurrent programs 0 索取号：TP31/E8058 作者：Brinch Hansen、 Per、 1938-、出版社：Englewood Cliffs, N.J. : Prentice-Hall, 1977.
	Using & programming the IBM PCjr, including 77 ready-to-run programs 0 索取号：TP31/E9071 作者：Holtz、 Frederick.、出版社：Blue Ridge Summit, Pa. : Tab Books, 1984.		Programming logics : an introduction to verification and semantics 0 索取号：TP31/E9066 作者：Gumb、 Raymond D.、出版社：Chichester John Wiley & Son New York : Wiley, 1989.
	Microprogramming techniques with sample programs 0 索取号：TP31/E8028 作者：Evans、 Stanley J.、出版社：Reston, Va. : Reston Pub. Co., 1979.		Program derivation : the development of programs from specifications 0 索取号：TP31/E90108 作者：Dromey、 R. G.、 1946-、出版社：Sydney ; Reading, Mass. : Addison-Wesley, 1989.
	Algorithms : the construction, proof, and analysis of programs 0 索取号：TP31/E9087 作者：Berlioux、 Pierre.、Bizard、 Philippe.、出版社：Chichester [West Sussex] ; New York : J. Wiley, 1986.		Synchronization of parallel programs 0 索取号：TP31/E9058 作者：Andre、 FraņЦoise.、Herman、 Daniel.、Verjus、 J.-P.、出版社：Massachusetts Cambridge, Mass. : MIT Press, 1985.
	Mathematical software III : proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977 0 索取号：TP31/E8041/3 作者：John //R. Rice、Mathematical Software Symposium、 University of Wisconsin--Madison、 1977.、Rice、 John Rischard.、University of Wisconsin--Madison. Mathematics Research Center.、出版社：New York : Academic Press, 1977.		Mathematical computer performance and reliability : proceedings of the International Workshop, Pisa, Italy, September 26-30, 1983 0 索取号：TP302-53/E901 作者：出版社：Amsterdam ; New York : North-Holland ; New York : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
	Computer performance and reliability : proceedings of the Second International MCPR Workshop held in Rome, Italy, May 25-29, 1987 0 索取号：TP302-53/E904/2 作者：International MCPR Workshop (2nd : 1987 : Rome、 Italy)、Iazeolla、 Giuseppe G.、 1939-、Courtois、 Pierre Jacques、 1937-、Boxma、 O. J.、 1952-、出版社：Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.		IEEE International Workshop on Computer Systems Organization, March 29-31, 1983, Sheraton New Orleans Hotel, New Orleans 0 索取号：TP302-53/E905/1983 作者：IEEE International Workshop on Computer Systems Organization (1983 : New Orleans、 La.)、IEEE Computer Society.、出版社：N.Y. Silver Spring, MD : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1983.
	Digest of technical papers 0 索取号：TN402-53/E902/1983 作者：IEEE International Conference on Computer-Aided Design (1983 : Santa Clara、 Calif.)、IEEE Computer Society.、IEEE Circuits and Systems Society.、IEEE Electron Devices Society.、出版社：New York, NY : Institute of Electrical and Electronics Engineers, 1983.		Total Systems Reliability Symposium : December 12-14, 1983, National Bureau of Standards, Gaithersburg, MD 0 索取号：TP302-53/E906/1983 作者：Total Systems Reliability Symposium (1983 : National Bureau of Standards)、IEEE Computer Society.、Institute of Electrical and Electronics Engineers.、出版社：Silver Spring, MD : IEEE Computer Society Press, 1983.